منابع مشابه
A note on spectral mapping theorem
This paper aims to present the well-known spectral mapping theorem for multi-variable functions.
متن کاملA note on the size of Craig Interpolants
Mundici considered the question of whether the interpolant of two propositional formulas of the form F → G can always have a short circuit description, and showed that if this is the case then every problem in NP ∩ co-NP would have polynomial size circuits. In this note we observe further consequences of the interpolant having short circuit descriptions, namely that UP ⊆ P/poly, and that every ...
متن کاملA note on Pollard’s Theorem
Let A,B be nonempty subsets of a an abelian group G. Let Ni(A,B) denote the set of elements of G having i distinct decompositions as a product of an element of A and an element of B. We prove that ∑ 1≤i≤t |Ni(A,B)| ≥ t(|A|+ |B| − t− α+ 1 + w) − w, where α is the largest size of a coset contained in AB and w = min(α − 1, 1), with a strict inequality if α ≥ 3 and t ≥ 2, or if α ≥ 2 and t = 2. Thi...
متن کاملA Note on Goodman's Theorem
Goodman's theorem states that intuitionistic arithmetic in all nite types plus full choice, HA ! + AC, is conservative over rst-order intuitionistic arithmetic HA. We show that this result does not extend to various subsystems of HA ! , HA with restricted induction.
متن کاملA Note on Tchakaloff’s Theorem
A classical result of Tchakaloff on the existence of exact quadrature formulae up to a given degree is extended to positive measures without compact support. A criterion for the existence of Gaussian quadratures for a class of such measures is also derived from the main proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Mathematical Statistics
سال: 1944
ISSN: 0003-4851
DOI: 10.1214/aoms/1177731213